Inverse mapping theorem in Fréchet spaces

We consider the classical inverse mapping theorem of Nash and Moser from angle some recent development by Ekeland authors. Geometrisation tame estimates coupled with certain ideas coming variational analysis when applied to a directionally differentiable produces very general surjectivity result and, if injectivity can be ensured, expected Lipschitz-like continuity inverse. also present brief application differential equations.